DUGi: Llistar Títols | Planificació numèrica | 0 - 1

Llistar Títols per Matèria "Planificació numèrica"

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	15 novembre 2018	SMT techniques for planning problems	Espasa Arxer, Joan

1

Matèries

Planificación automática Planificació numèrica SMT Numeric planning Applied logic Lògica aplicada Satisfiability modulo theories

Autors

Villaret i Ausellé, Mateu Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Bofill Arasa, Miquel Espasa Arxer, Joan